Report on article The Travelling Salesman Problem: A Linear Programming Formulation
نویسنده
چکیده
Unknown relation between P and NP [3] complexity classes remains to be one of significant non solved problems in complexity theory. P complexity class consists of problems solvable by Deterministic Turing Machine (DTM) in polynomially bounded time, while NP complexity class consists of problem solvable by Non Deterministic Turing Machine (NDTM) in polynomially bounded time. This means that DTM can verify solution of every NP problem in polynomially bounded time even if polynomial algorithm for finding this solution is unknown [16]. Significant subclass of NP problems is known as NP-complete class. Problems from this class have ability to represent any other problems from whole NP complexity class. In 1970 S. Cook presented in [2] first reduction from any NP problem to Boolean Satisfiability Problem, and two years after R. Karp proved that 21 other problems are in NP-complete class showing many-one polynomial time reductions to these problems [14]. If then anyone shows algorithm solving any NP-complete problem in polynomially bounded time then any of NP problems may be solved in no more then O(n) steps, where n stands for instance size and c is some constant value [16]. In 2006 there appeared articles claiming to have proven that P=NP formulating TSP and QAP problem in terms of linear programming ( [4], [10], [5] and other). Author of this article have prepared counter example [11] for one of these article discussing inability for LP approach to solve large instances of NP-complete problems [12]. Some suggestions from [11] were taken into proposed model and counter example is not valid for new version of these models. In this article we present extended version proving flaws in extended model.
منابع مشابه
Report on article: P=NP Linear programming formulation of the Traveling Salesman Problem
Document mentioned in title of this article was published in first version in 2004. In moment research was started version revised on 16.01.2006 was available and this article refers mainly to that version. At this moment newer version revised on 16.10.2006 is available, but main idea is same. This article contains formulation of TSP 2 problem. Then problem is modeled as Integer Linear Programm...
متن کاملThe traveling salesman problem: A Linear programming formulation of
In this paper, we present a polynomial-sized linear programming formulation of the Traveling Salesman Problem (TSP). The proposed linear program is a network flow-based model. Numerical implementation issues and results are discussed. Key-Words: Linear Programming; Network Optimization; Integer Programming; Traveling Salesman Problem; Combinatorial Optimization; Scheduling; Sequencing. (Forthco...
متن کاملThe traveling salesman problem: A Linear programming formulation
In this paper, we present a polynomial-sized linear programming formulation of the Traveling Salesman Problem (TSP). The proposed linear program is a network flow-based model. Numerical implementation issues and results are discussed. KeyWords: Linear Programming; Network Optimization; Integer Programming; Traveling Salesman Problem; Combinatorial Optimization; Scheduling; Sequencing.
متن کاملOn a Time-Dependent Flow-Based Formulation for the Asymmetric Travelling Salesman Problem
In this paper we contextualize, in terms of the ATSP, a recent compact formulation presented in Godinho et al (2010) for the time-dependent travelling salesman problem (TDTSP). The previous paper provides one way of viewing the new model, “the time-dependent TSP way” where it is put in evidence how to obtain the new model by tightening the linear programming relaxation of a well known formulati...
متن کاملA Survey of Different Integer Programming Formulations of the Travelling Salesman Problem
Eight distinct (and in some cases little known) formulations of the Travelling Salesman Problem as an Integer Programme are given. Apart from the standard formulation all the formulations are ‘compact’ in the sense that the number of constraints and variables is a polynomial function of the number of cities in the problem. Comparisons of the formulations are made by projecting out variables in ...
متن کاملA New Hybrid Parallel Simulated Annealing Algorithm for Travelling Salesman Problem with Multiple Transporters
In today’s competitive transportation systems, passengers search to find traveling agencies that are able to serve them efficiently considering both traveling time and transportation costs. In this paper, we present a new model for the traveling salesman problem with multiple transporters (TSPMT). In the proposed model, which is more applicable than the traditional versions, each city has diffe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/0805.4718 شماره
صفحات -
تاریخ انتشار 2008